退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:论读写并发下数据结构的正确性?
Kfir Lev-ari; Gregory Chockler; Idit Keidar;
机译:验证持久并发数据结构的正确性:声音和完整的方法
机译:用于高度并发数据结构的集成规范和验证技术
机译:异步并发:扩展并发搜索数据结构的秘诀
机译:读写并发下数据结构的正确性
机译:用于分布式数据库中事务并发控制的临时正确算法。
机译:利用色散校正密度泛函理论(DFT-D)从粉末衍射数据验证分子晶体结构
机译:多级原子性 - 数据库并发控制的一种新的正确性判据。
机译:使用单个并发事务数据库基础结构在单个数据库架构上提供多个并发事务
机译:使用单并发交易数据库基础结构在单数据库架构上提供多个并发交易
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。